61. An object-oriented approach to programming logic and design
پدیدآورنده: Farrell, Joyce
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
62. Architecture and CAD for deep-submicron FPGAs
پدیدآورنده: Betz, Vaughn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Computer-aided design ، Field programmable gate arrays,، Programmable array logic
رده :
TK
7895
.
G36B48
63. Architecture and CAD for deep-submicron FPGAs
پدیدآورنده: Betz, Vaughn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Computer-aided design ، Field programmable gate arrays,، Programmable array logic
رده :
TK
7895
.
G36
B48
64. Architecture and design of molecule logic gates and atom circuits :
پدیدآورنده: Nicolas Lorente, Christian Joachim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic design -- Congresses.,Molecular electronics -- Congresses.,Molecular integrated circuits -- Congresses.
رده :
TK7874
.
8
N536
2013
65. Architecture of computing systems -- ARCS 2018 :
پدیدآورنده: Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer architecture & logic design.,Computer architecture.,Computer networking & communications.,Computers-- Data Transmission Systems-- Electronic Data Interchange.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Network hardware.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
A72
2018eb
66. Artificial Intelligence in Logic Design
پدیدآورنده: by Svetlana N. Yanushkevich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.
67. Artificial intelligence in logic design
پدیدآورنده: Yanushkevich, Svetlana N.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Logic design,، Artificial intelligence
رده :
TK
7868
.
Y3A7
68. Asynchronous operators of sequential logic
پدیدآورنده: Vadim Vasyukevich
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Asynchronous circuits-- Design and construction,Logic design,Sequential machine theory,Sequential machine theory -- Mathematical models,Set theory,System analysis
رده :
QA76
.
9
.
L63
V37
2011
69. Automata, Languages and Programming :
پدیدآورنده: edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
70. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده: Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
71. Automated Deduction - CADE-23 :
پدیدآورنده: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
72. Automatic logic synthesis techniques for digital systems
پدیدآورنده: Edwards, Martyn D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Application specific integrated circuits-- Design-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
6
.
E34
1992b
73. Axiomatising the Logic of Computer Programming
پدیدآورنده: by Robert Goldblatt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
74. BICMOS/CMOS systems design
پدیدآورنده: / James E. Buchanan
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Metal oxide semiconductors, Complementary - Design and construction,Transistor-transistor logic circuits - Design and construction,Bipolar integrated circuits - Design and construction
رده :
TK
7871
.
99
.
M44B83
1991
75. BICMOS/CMOS systems design
پدیدآورنده: / James E. Buchanan
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Metal oxide semiconductors, Complementary - Design and construction,Transistor-transistor logic circuits - Design and construction,Bipolar integrated circuits - Design and construction
رده :
TK
7871
.
99
.
M44B83
1991
76. Baltic Computer Science :
پدیدآورنده: by Janis Barzdins, Dines Bjorner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
77. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده: edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computer science.,Logic design.
78. Bi CMOS CMOS systems design
پدیدآورنده: / James E. Buchanana,Buchanan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Metal oxide semiconductors -- Design and construction,Transistors - transistors logic cricuits -- Design and construction,Bipolar transistors circuits -- Design and construction
رده :
TK
7871
.
99
.
M44B83
1991
79. BiCMOS/CMOS systems design
پدیدآورنده: Buchanan, James E. )James Edgar(, 6391-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Metal oxide semiconductors, Complementary- Design and construction,، Transistor- transistor logic circuits- Design and construction,، Bipolar integrated circuits- Design and construction
رده :
TK
7871
.
99
.
M44B83
1991
80. BiCMOS/ CMOS systems design
پدیدآورنده: / James E. Buchanan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Metal oxide semiconductors, Complementary- Design and construction,Transistor- transistor logic circuits- Design and construction,Bipolar integrated circuits- Design and construction,Semiconductors
رده :
TK7871
.
99
.
M44B83
1991
